module A {
  A -> | A | | B | C | ;
  B -> ;
  C -> ;
}
